SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 97-38 Derivation of Safety Requirements for Simple Computer-Based Control Systems
نویسندگان
چکیده
Current best practice is that the acceptability of safety-critical software-based systems should be justified by a clear and defensible argument. This paper examines the structure that such an argument might take with regard to the allocation of system safety requirements to components, in particular software component requirements. A model solution is presented for a general class of control systems and application of the approach is illustrated with a case study.
منابع مشابه
A Formal Method for Building Concurrent Real-Time Software
Motivation. Development of concurrent real-time programs is among the greatest challenges currently facing computer science [1]. Such programs are needed for safety-critical systems, so guaranteeing their correctness is vital. Satisfying precise timing constraints demands a great deal of rigour from programmers. Real-time software is thus expensive to manufacture to the ∗Software Verification R...
متن کاملSOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 99-46 A Process for Derivation and Quantification of Safety Requirements for Components of Complex Systems
This report describes a formal approach to verification and validation of safety requirements for embedded software, by application to a simple control-logic case study. The logic is formally specified in Z. System safety properties are formalised by defining The paper develops a theoretical basis for assigning safety requirements for components of complex systems, including software, in a form...
متن کاملQuantum nondemolition measurements for quantum information
T. C. Ralph,* S. D. Bartlett, J. L. O’Brien, G. J. Pryde, and H. M. Wiseman Centre for Quantum Computer Technology, University of Queensland, Brisbane, Queensland 4072, Australia Department of Physics, University of Queensland, Brisbane, Queensland 4072, Australia School of Physics, The University of Sydney, Sydney, New South Wales 2006, Australia Centre for Quantum Computer Technology, Center ...
متن کاملRequirements for a Generic, Language-based Diagram Editor
Requirements for a Generic, Language-based Diagram Editor Tim Jones, Jim Welsh {tsj, jim}@cs.uq.edu.au Software Verification Research Centre Department of Computer Science The University of Queensland Australia 4072 Fax: 61-7-3365 1533 Ph: 61-7-3365 1003 http://www.cs.uq.edu.au/svrc/
متن کاملRelational Views for Program Comprehension
Relational Views for Program Comprehension Tim Jones, Warwick Allison, David Carrington {tsj, warwick, davec}@cs.uq.oz.au Software Verification Research Centre Department of Computer Science The University of Queensland Queensland, Australia 4072
متن کامل